A case study in abstraction using E
نویسندگان
چکیده
The proposed ISO standard E-LOTOS is used to describe the leader election protocol of the IEEE 1394 serial multimedia bus ((FireWiree). The E-LOTOS language facilitates descriptions at several levels of abstraction, therefore a broad understanding of the protocol at an abstract level can be gained before adding more complexity and concrete detail. A secondary aim is to illustrate some of the novel features of E-LOTOS, particularly those for describing real time and parallelism. The specii-cation process is described in some detail, paying particular attention to the general applicability of E-LOTOS to protocol description. Veriication techniques and tools for E-LOTOS are considered, and comparisons are drawn between E-LOTOS and other similar formal methods.
منابع مشابه
Hydrogen Abstraction Reaction of Hydroxyl Radical with 1,1-Dibromoethane and 1,2-Dibromoethane Studied by Using Semi-Classical Transition State Theory
The hydrogen abstraction reaction by OH radical from CH2BrCH2Br (R1) and CH₃CHBr2 (R2) is investigated theoretically by semi-classical transition state theory. The stationary points for both reactions are located by using ωB97X-D and KMLYP density functional methods along with cc-pVTZ basis. Single-point energy calculations are performed at the QCISD(T) and CCSD(T) levels of theory with differe...
متن کاملRecent Trend Determination of groundwater level along with inter-reliant hydrologic components using Mann-Kendall Test,Linear Regression& Geometrical Progression: A case study for Bogradistrict in Bangladesh
Groundwater, a special hydrological variable and freshwater resource is completely inter-reliant with hydro-metorological, topographic, land use and hydro-geological components of hydrologic cycle. Trend of hydrologic componentsfor future prediction is attempted to confer in this study using Man-Kendall test, linear regression and geometric progression analysis on recorded data collected from r...
متن کاملارزیابی رابطه SCS در تعیین تلفات اولیه باران در حوضه های آبریز
The main scope of this research is evaluation of Soil Conservation Service Procedure in derivation of initial abstraction of precipitation in watershed scale. For this purpose Dalaki watershed which is located in south east of Iran was selected then by using hec-hms and GIS models and a number of observed rainfall runoff events some parameters like CN of watershed ,K and X of Muskingam meth...
متن کاملAbstraction, desalination and recharge method to control seawater intrusion into unconfined coastal aquifers
In this study, abstraction, desalination and recharge method and SEAWAT numerical model are used to investigate seawater intrusion repulsion in a hypothetical two-dimensional coastal aquifer to understand the relation of seawater intrusion with abstraction, desalination and recharge parameters (i.e. abstraction/recharge rate, wells distance and depth). Abstraction, desalination and recharge con...
متن کاملVideo Abstraction in H.264/AVC Compressed Domain
Video abstraction allows searching, browsing and evaluating videos only by accessing the useful contents. Most of the studies are using pixel domain, which requires the decoding process and needs more time and process consuming than compressed domain video abstraction. In this paper, we present a new video abstraction method in H.264/AVC compressed domain, AVAIF. The method is based on the norm...
متن کاملIntroduction of a Framework for Customer Orientation Using Ambulant E-Banking Services Marketing (Case Study: Mellat Bank in Isfahan)
E-banking (electronic banking) is the modified business banking toward E-business (electronic business) banking that actually uses the electronic communication channels such as internet, phones, cell phones and the like. By using this method, the demands of customers such as time independent and high flexible actions are satisfied. In this process, marketing is so important because guiding cust...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001